Verification and Change-Impact Analysis of Access-Control Policies∗ Kathi Fisler Shriram Krishnamurthi

Source URL: web.cs.wpi.edu

• Computer security
• Security
• Access control
• Computer access control
• XACML
• Binary decision diagram
• PERMIS
• Information flow
• Role-based access control
• Policy analysis
• Security-Enhanced Linux
• Model checking

Putting the User in Usable Verification Kathi Fisler WPI Department of Computer Science (joint work with Shriram Krishnamurthi, Brown University) November 3, 2010

Source URL: fm.csl.sri.com

• Software engineering
• Formal methods
• Theoretical computer science
• Systems engineering
• Business
• Logic in computer science
• Formal verification
• Verification and validation
• Requirement
• Object Process Methodology
• Runtime verification

The Influence of Software Module Systems on Modular Verification
Harry Li , Kathi Fisler and Shriram Krishnamurthi 

Source URL: web.cs.wpi.edu

• Hardware verification languages
• E
• Component-based software engineering
• Model checking
• Modularity
• Modular programming
• Aspect-oriented software development
• Formal verification

Final version to appear in OnwardSlimming Languages by Reducing Sugar: A Case for Semantics-Altering Transformations Junsong Li, Justin Pombrio, Joe Gibbs Politz, Shriram Krishnamurthi Brown University

Source URL: cs.brown.edu

• Subroutines
• Functional programming
• Higher-order functions
• Programming language comparisons
• Lambda calculus
• Scope
• Fold
• Apply
• JavaScript
• Map
• Reserved word
• This

Modular Verification of Collaboration-Based Software Designs Kathi Fisler Shriram Krishnamurthi

Source URL: web.cs.wpi.edu

• Keyword cipher
• Toledo Nanochess
• Index of Abkhazia-related articles

Specifying and Reasoning about Dynamic Access-Control Policies Daniel J. Dougherty,1 Kathi Fisler,1 and Shriram Krishnamurthi 2 1 Department of Computer Science, WPI

Source URL: web.cs.wpi.edu

• Datalog
• Conjunctive query

Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine) Matthew Flatt Robert Bruce Findler Shriram Krishnamurthi Department of Computer Science∗

Source URL: www.ccs.neu.edu

• Software engineering
• Software
• Computer programming
• Functional languages
• Racket
• Readevalprint loop
• Monitor
• Thread safety
• Standard ML
• Callback
• Widget
• Pipeline

Modernizing Plan-Composition Studies Kathi Fisler Shriram Krishnamurthi Janet Siegmund

Source URL: www.infosun.fim.uni-passau.de

• Software engineering
• Computer programming
• Computing
• Programming paradigms
• Recursion
• Theoretical computer science
• Computability theory
• Functional programming
• Tree traversal
• Go
• Problem solving
• Procedural programming

Composition with Consistent Updates for Abstract State Machines Colin Gordon, Leo Meyerovich, Joel Weinberger, and Shriram Krishnamurthi Brown University, Providence RI 02912, USA Contact:

Source URL: www.cs.drexel.edu